4bab2f21422e60100ec4a0be10d8225f410a3ba1,elk-owlapi/src/test/java/org/semanticweb/elk/owlapi/proofs/RandomProofCompletenessTest.java,RandomProofCompletenessTest,randomProofCompletenessTest,#OWLProver#OWLSubClassOfAxiom#OWLOntology#Random#number#,150

Before Change


			final OWLProver prover,
			final OWLSubClassOfAxiom conclusion, final OWLOntology ontology,
			final Random random, final long seed) {
		final ProofNode<OWLAxiom> expr = prover.getProof(conclusion);
		
		final Set<OWLAxiom> proofBreaker =
				ProofTestUtils.collectProofBreaker(expr, ontology, random);

After Change


			final OWLProver prover,
			final OWLSubClassOfAxiom conclusion, final OWLOntology ontology,
			final Random random, final long seed) {
		final ProofNode<OWLAxiom> expr = prover.getProof(conclusion).getRoot();
		
		final Set<OWLAxiom> proofBreaker =
				ProofTestUtils.collectProofBreaker(expr, ontology, random);